The VMCS control bits in the current tree are not optimal. Attached is
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 14 Jul 2005 08:00:55 +0000 (08:00 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 14 Jul 2005 08:00:55 +0000 (08:00 +0000)
commit9c03922da5cd4c50e60412172e90ebb80f5574ea
tree89f98d02630c1364773cf0923225d335b496aeaa
parenta14f9ede68ddbf3a596aca58640cbce9e9b54526
The VMCS control bits in the current tree are not optimal.  Attached is
a patch to improve the VMCS control bits setting. It also adds checks to
detect any non-optimal or incompatible settings for the VMCS control
bits based on MSRs, and fixes a bug associated with vmcs region freeing.

Signed-off-by: Nitin A Kamble <nitin.a.kamble@intel.com>
Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Xin Li <xin.b.li@intel.com>
xen/arch/x86/vmx.c
xen/arch/x86/vmx_vmcs.c
xen/include/asm-x86/msr.h
xen/include/asm-x86/vmx.h